]> dgit.raspbian.org Git - gnome-shell.git/commit
windowManager: Implement keybinding_filter hook
authorFlorian Müllner <fmuellner@gnome.org>
Mon, 20 Aug 2012 08:38:13 +0000 (10:38 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Sat, 17 Nov 2012 00:44:22 +0000 (01:44 +0100)
commit034408971dbbdccc467325808dce730e3fc17498
treee5d762e26de2f2616277c114f416a11688c1e44c
parent490206b5b23649017859b9cb6d534cce1855d6dd
windowManager: Implement keybinding_filter hook

We are currently using a hack to allow a select set of keybindings
in the overview. Implement the new MetaPlugin keybinding_filter
hook, which provides a cleaner way to achieve the same.

https://bugzilla.gnome.org/show_bug.cgi?id=688202
js/ui/main.js
js/ui/windowManager.js
src/gnome-shell-plugin.c
src/shell-wm-private.h
src/shell-wm.c